Spectral approach to linear programming bounds on binary codes Alexander Barg Dmitry Nogin

Source URL: ita.ucsd.edu

Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Programming language theory
• Linear algebra
• Software design patterns
• Matrix theory
• Trace
• Program slicing
• Monad
• Substitution
• FO
• ALGOL 68

line

Source URL: www.strc.ch

• Statistics
• Mathematical analysis
• Mathematics
• Operations research
• Regression analysis
• Statistical models
• Estimation theory
• Mathematical optimization
• Multinomial logistic regression
• Discrete choice
• Maximum likelihood estimation
• Linear programming

Duality in Two-stage Adaptive Linear Optimization: Faster Computation and Stronger Bounds Dimitris Bertsimas Operations Research Center and Sloan School of Management, Massachusetts Institute of Technology, Cambridge, Ma

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Convex optimization
• Linear programming
• Analysis
• Mathematics
• Duality
• Robust optimization
• Systems science

Chapter 4 Linear Programming Linear programs (LP) play an important role in the theory and practice of optimization problems. Many COPs can directly be formulated as LPs. Furthermore, LPs are invaluable for the design a

Source URL: www2.informatik.hu-berlin.de

Word Sense Disambiguation as an Integer Linear Programming Problem Vicky Panagiotopoulou1, Iraklis Varlamis2 , Ion Androutsopoulos1 , and George Tsatsaronis3 1 2

Source URL: www.aueb.gr

Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University

Source URL: popl-obt-2014.cs.brown.edu

• Logic
• Visual arts
• Abstraction
• Programming paradigms
• Non-classical logic
• Formal languages
• Grammar
• Logic in computer science
• Generative art
• Logic programming
• Linear logic
• Generative music

114 Genome Informatics 16(2): 114–Comparison of Protein Structures by Multi-Objective Optimization

Source URL: www.jsbi.org

• Bioinformatics
• Operations research
• Computational phylogenetics
• Protein structure
• Mathematical optimization
• Multiple sequence alignment
• Dynamic programming
• Docking
• Linear programming
• Algorithm

Computers & Geosciences–53 Contents lists available at ScienceDirect Computers & Geosciences journal homepage: www.elsevier.com/locate/cageo

Source URL: geomag.usgs.gov

• Algebra
• Mathematics
• Software
• Numerical linear algebra
• Numerical analysis
• Linear algebra
• Lis
• Array programming
• Inversion
• Euclidean vector

Scalable Semidefinite Relaxation for Maximum A Posterior Estimation

Source URL: geometry.stanford.edu

• Mathematical optimization
• Operations research
• Mathematical analysis
• Linear programming
• Convex optimization
• Real algebraic geometry
• Semidefinite programming
• Relaxation
• Approximation algorithm
• Nonlinear programming
• Duality
• Quadratically constrained quadratic program